<html>
<head><meta charset="utf-8"><title>associate type bounds and for · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/associate.20type.20bounds.20and.20for.html">associate type bounds and for</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="155274268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/associate%20type%20bounds%20and%20for/near/155274268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jon Gjengset <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/associate.20type.20bounds.20and.20for.html#155274268">(Jan 16 2019 at 18:09)</a>:</h4>
<p>Hey all! \o/ Hope this is an appropriate place to ask:<br>
I ran into <a href="https://github.com/rust-lang/rust/issues/57671" target="_blank" title="https://github.com/rust-lang/rust/issues/57671">this weird case</a> and was wondering if someone could take a look that I'm not completely off-base about this being a bug. I _think_ the example code should compile, but don't feel like I'm familiar enough with <code>for&lt;'a&gt;</code> to be sure.</p>



<a name="155284812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/associate%20type%20bounds%20and%20for/near/155284812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jon Gjengset <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/associate.20type.20bounds.20and.20for.html#155284812">(Jan 16 2019 at 20:22)</a>:</h4>
<p><code>sfackler</code> observed that this is actually a duplicate of <a href="https://github.com/rust-lang/rust/issues/56556" target="_blank" title="https://github.com/rust-lang/rust/issues/56556">https://github.com/rust-lang/rust/issues/56556</a></p>



<a name="155340676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/associate%20type%20bounds%20and%20for/near/155340676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/associate.20type.20bounds.20and.20for.html#155340676">(Jan 17 2019 at 14:53)</a>:</h4>
<p>I agree that looks like a bug</p>



<a name="155355715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/associate%20type%20bounds%20and%20for/near/155355715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jon Gjengset <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/associate.20type.20bounds.20and.20for.html#155355715">(Jan 17 2019 at 18:08)</a>:</h4>
<p>There also sadly doesn't look like there's a workaround except removing the lifetime parameter :/ These are the times I wish I had the time to sit down and learn the compiler source so I could fix such things myself. Maybe one day ^^</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>